结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

综放开采在小峪3^#煤层应用的可行性研究

采用多因素分析综合评价方法,论证了在小峪３＾＃煤层应用综放开采是可行的,并提出了具体实施方案,对矿井生产及类似条件的煤层开发有指导借鉴意义。     

一类排列问题的计数

给出一类排列问题的计数公式．     

电站凝汽器汽相流动与传热特性的准三维数值分析

为了研究凝汽器流动与传热特性沿轴向的变化,文中发展出一个凝汽器汽相流动与传热特性的准三维数值计算方法,应用该方法对一大型凝汽器汽相流动与传热特性进行了数值模拟．计算结果表明,单流程凝汽器冷却水温度沿流向的变化对蒸汽流动与传热的三维特性会产生明显的影响．     

奇异值估计的Brauer型定理

设Ａ＝（ａｉｊ）为ｎ阶复矩阵．记ｓｉ＝ｍａｘ∑ｊ≠ｉ｜ａｉｊ｜,∑ｊ≠ｉ｜ａｊｉ｜｛｝,ａｉ＝｜ａｉ｜（ｉ＝１,２,…,ｎ）．证明了Ａ的奇异值均属于Ｂｒａｕｅｒ型并集∪ｉ≠ｊｚ≥０：｜ｚ－ａｉ｜｜ｚ－ａｊ｜≤ｓｉｓｊ｛｝,并给出了该并集的显式表达及数值例子．     

面向对象软件的回归测试策略

按照「１」「２」的方法进行了类测试及集成测试的面向对象软件,提出了一种回归测试的策略,并给重用且修改现存的测试例,产生新的测试例的方法     

斜截面上剪应力的一个公式

以线性变换作为应力状态的一个数学模型,利用代数的理论,得到了斜截面上剪应力的一个新公式,同时指出了它在应力分析中的应用。     

受扰动核反应堆系统的最优控制

本文讨论原子核反应堆系统在受外部中子源干扰时的最优控制问题。本文将散射裂变截面函数作为控制变量,以“范数最小”来衡量其最优性,证明了反应堆系统在受扰动时可控的,并给出了系统最优存在性和可逼近性。     

同时快速更换轧辊和导卫的高刚度机座

提出了一种可同时快速更换轧辊和导卫装置的高刚度轧机机座,适用于棒材、线材和型材轧制．该机座在机架上安装一个称为卡式箱的装置,卡式箱内可以预装轧辊和导卫,并在轧制线外调整好,可以实现轧辊和导卫一次吊装,快速更换．     

血小板反应素-1活性片段的克隆与表达

选择两段血小板反应素（TSP-1）中抑制血管再生的活性片段，设计两对引物，使用RT-PCR的方法从人血细胞中进行克隆并对获得片段进行测序验证．克隆片段大小分别为723和522bp，命名为聪P-1-1和聪P-1-2．利用原核表达载体pET-29a获得大肠杆菌重组子，重组子经过IPTG诱导以包涵体的形式表达相应的多肽片段．再对包涵体进行体外溶解、纯化，得到了目的多肽．